Natural proof - PDFSEARCH.IO - Document Search Engine

Natural proof
Results: 343

#	Item
291	Elimination with a Motive Conor McBride Department of Computer Science Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2010-11-07 05:35:59 Logic in computer science Theory of computation Deduction Natural deduction Proof theory Structural induction Function Fold Motive Mathematics Mathematical logic Logic
292	CATEGORICAL MODELS OF FIRST-ORDER CLASSICAL PROOFS Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2010-08-30 08:34:57 Proof theory Natural deduction Linear logic Sequent Categorical logic First-order logic Intuitionistic logic Interpretation Propositional calculus Logic Mathematical logic Mathematics
293	rev-steen.qxp[removed]:03 PM Add to Reading List Source URL: www.ams.org Language: English - Date: 1999-12-28 10:47:14 Religion Alexander Dewdney Pythagoreanism Pythagoras Mathematical proof The Unreasonable Effectiveness of Mathematics in the Natural Sciences Numerology Mathematician Mathematical object Mathematics Philosophy of mathematics Esotericism
294	W. H. YOUNG THE MATHEMATICAL METHOD AND ITS LIMITATIONS Add to Reading List Source URL: www.mathunion.org Language: English - Date: 2012-04-18 10:10:43 Elementary mathematics Mathematical proof Analogy Scientific method Function Mathematical logic Number The Unreasonable Effectiveness of Mathematics in the Natural Sciences Mathematics Philosophy of mathematics Cognitive science
295	A Generalization of Takeuti-Gandy Interpretation Bruno Barras, Thierry Coquand and Simon Huber Add to Reading List Source URL: uf-ias-2012.wikispaces.com Language: English - Date: 2013-03-11 12:03:37 Logic Deduction Natural deduction Sheaf Ordinal numbers Set theory Orbifold Holomorphic functional calculus Mathematical logic Proof theory Mathematics
296	Intuitionistic Type Theory Per Martin-L¨of Notes by Giovanni Sambin of a series of lectures Add to Reading List Source URL: www.csie.ntu.edu.tw Language: English - Date: 2009-06-20 07:32:17 Logic in computer science Propositional calculus Type theory Proof theory Natural deduction Function Principia Mathematica First-order logic Interpretation Logic Mathematical logic Mathematics
297	Under consideration for publication in J. Functional Programming 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-01-10 08:03:39 Mathematics Deduction Natural deduction Normalisation by evaluation Curry–Howard correspondence Model theory Lambda calculus Orbifold Holomorphic functional calculus Theoretical computer science Mathematical logic Proof theory
298	Deep Inference and Symmetry in Classical Proofs Dissertation zur Erlangung des akademischen Grades Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2004-03-12 06:11:33 Propositional calculus Logical syntax Inference Logical truth Natural deduction Sequent calculus First-order logic Rule of inference Sequent Logic Mathematical logic Proof theory
299	PROOFS AND TYPES JEAN-YVES GIRARD Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:08:23 Proof theory Denotational semantics Natural deduction Linear logic Cut-elimination theorem Curry–Howard correspondence Lambda calculus Type theory Semantics Logic Mathematical logic Mathematics
300	Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types∗† Marcelo Fiore‡ Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-10-05 14:17:27 Lambda calculus Programming language theory Proof theory Curry–Howard correspondence Philosophy of computer science Type theory Combinatory logic Natural deduction Normalisation by evaluation Logic in computer science Theoretical computer science Mathematical logic

UPDATE